(0 7 3)(1 19 17)(2 11 9)(4 16 5)(6 20 10)(8 14 12)(13 18 15)
ALLOWS (11/8)-SEQUENCE
1: (6 10 20)
(0 7 3)(1 19 17)(2 11 9)(4 16 5)(6 10 20)(8 14 12)(13 18 15)
2: (2 11 9)
(0 7 3)(1 19 17)(2)(4 16 5)(6 10 20)(8 14 12)(9)(11)(13 18 15)
3: (6 10 20)
(0 7 3)(1 19 17)(2)(4 16 5)(6)(8 14 12)(9)(10)(11)(13 18 15)(20)
4: (0 7 3)
(0)(1 19 17)(2)(3)(4 16 5)(6)(7)(8 14 12)(9)(10)(11)(13 18 15)(20)